(0 9 1)(2 19 16)(3 20 6)(4 12 5)(7 14 11)(8 18 10)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (0 9 12)
(0 5 4 12 1)(2 19 16)(3 20 6)(7 14 11)(8 18 10)(9)(13 17 15)
2: (8 18 10)
(0 5 4 12 1)(2 19 16)(3 20 6)(7 14 11)(8)(9)(10)(13 17 15)(18)
3: (7 14 11)
(0 5 4 12 1)(2 19 16)(3 20 6)(7)(8)(9)(10)(11)(13 17 15)(14)(18)
4: (1 4 12)
(0 5 4)(1)(2 19 16)(3 20 6)(7)(8)(9)(10)(11)(12)(13 17 15)(14)(18)